YES 0.555
↳ HASKELL
↳ BR
((toEnum :: Enum a => Int -> a) :: Enum a => Int -> a) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((toEnum :: Enum a => Int -> a) :: Enum a => Int -> a) |
import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
toEnum 0 = False toEnum 1 = True
toEnum wu = toEnum3 wu toEnum vz = toEnum1 vz
toEnum0 True vz = True
toEnum1 vz = toEnum0 (vz == 1) vz
toEnum2 True wu = False toEnum2 wv ww = toEnum1 ww
toEnum3 wu = toEnum2 (wu == 0) wu toEnum3 wx = toEnum1 wx
toEnum 0 = ()
toEnum wy = toEnum5 wy
toEnum4 True wy = ()
toEnum5 wy = toEnum4 (wy == 0) wy
toEnum 0 = LT toEnum 1 = EQ toEnum 2 = GT
toEnum xy = toEnum11 xy toEnum xu = toEnum9 xu toEnum wz = toEnum7 wz
toEnum6 True wz = GT
toEnum7 wz = toEnum6 (wz == 2) wz
toEnum8 True xu = EQ toEnum8 xv xw = toEnum7 xw
toEnum9 xu = toEnum8 (xu == 1) xu toEnum9 xx = toEnum7 xx
toEnum10 True xy = LT toEnum10 xz yu = toEnum9 yu
toEnum11 xy = toEnum10 (xy == 0) xy toEnum11 yv = toEnum9 yv
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
((toEnum :: Enum a => Int -> a) :: Enum a => Int -> a) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
(toEnum :: Enum a => Int -> a) |
import qualified Prelude |